A core data and behaviour language for E-LOTOS Alan Jeffrey Based on discussions at the COST 247 short term scientific mission attended by Hubert Garavel,. Guy Leduc, Charles Pecheur, Ricardo Pe˜na and Mihaela Sighirean

Source URL: ect.bell-labs.com

• Software engineering
• Computing
• Computer programming
• Data types
• Type theory
• C++
• Procedural programming languages
• ALGOL 68
• Type system
• C++ classes
• Subtyping
• Const

Verifying a Semantic βη-Conversion Test for Martin-L¨of Type Theory Andreas Abel1 Thierry Coquand2 Peter Dybjer2 1 Ludwig-Maximilians-University 2 Chalmers

Source URL: sneezy.cs.nott.ac.uk

Testing Polymorphic Properties Jean-Philippe Bernardy, Patrik Jansson, and Koen Claessen Chalmers University of Technology {bernardy,patrikj,koen}@chalmers.se Abstract. This paper is concerned with testing properties of

Source URL: publications.lib.chalmers.se

• Software engineering
• Declarative programming
• Mathematics
• Type theory
• Functional programming
• Functions and mappings
• Polymorphism
• Computability theory
• Parametricity
• Auxiliary function
• Currying
• Functor

Intensional Type Theory with Guarded Recursive Types qua Fixed Points on Universes Lars Birkedal Rasmus Ejlers Møgelberg

Source URL: www.itu.dk

ON IRRELEVANCE AND ALGORITHMIC EQUALITY IN PREDICATIVE TYPE THEORY ANDREAS ABEL AND GABRIEL SCHERER Department of Computer Science, Ludwig-Maximilians-University Munich e-mail address: Gallium tea

Source URL: www.cse.chalmers.se

A symbolic labelled transition system for coinductive subtyping of Fµ types Alan Jeffrey DePaul University Extended Abstract

Source URL: ect.bell-labs.com

• Type theory
• Object-oriented programming
• Polymorphism
• Subtyping
• Base
• Mathematics
• Structure

A general theory of type-and-effect systems via universal algebra Ohad Kammar Gordon Plotkin

Source URL: www.cl.cam.ac.uk

Abstract Value Constructors Symbolic Constants for Standard ML William E. Aitken∗ John H. Reppy† TR

Source URL: people.cs.uchicago.edu

• Data types
• Type theory
• C++
• Method
• Functional languages
• Standard ML
• C++ classes
• Algebraic data type
• Enumerated type
• Const
• Template
• Nullary constructor

JPL Java Coding Standard JPL Institutional Coding Standard for the Java Programming Language Version 1.0 Published March 31, 2014

Source URL: www.havelund.com

• Computing
• Software engineering
• Computer programming
• Cross-platform software
• Java
• Data types
• Procedural programming languages
• Type conversion
• Type theory
• Relational operator
• C
• Integer overflow

Dependent type theory as the initial category with families Simon Castellan December 8, 2014 Internship realized under the supervision of Peter Dybjer and Thierry Coquand Chalmers University of Technology, Gothenburg. Ab

Source URL: iso.mor.phis.me